#ifndef __DEBUG_H__
#define	__DEBUG_H__

#include <stdio.h>
#include "hal_types.h"


void showDeviceInfo(void);
void trace_init(void);

#endif